Перевод: с английского на русский

с русского на английский

С русского на:
Английский
С английского на:
Русский

set-theoretic predicate logic

Толкование Перевод

1 set-theoretic predicate logic

Математика: теоретико-множественная логика предикатов

Универсальный англо-русский словарь > set-theoretic predicate logic
2 set-theoretic predicate logic

теоретико-множественная логика предикатов

English-Russian scientific dictionary > set-theoretic predicate logic
3 set-theoretic

теоретико-множественный set-theoretic predicate logic ≈ теоретико-множественная логика предикатов - set-theoretic geometry - set-theoretic interpretation - set-theoretic intersection - set-theoretic jog - set-theoretic operation - set-theoretic projection - set-theoretic statement - set-theoretic topology - set-theoretic union

Большой англо-русский и русско-английский словарь > set-theoretic
4 logic

1) логика || логический

2) вчт логические схемы, логика

3) логический блок; логический узел

•

logic with identity — логика с тождеством

logic without identity — логика без тождества

- algebraic logic

- applied logic

- auxiliary logic

- bivalent logic

- cellular logic

- class logic

- classical logic

- classical propositional logic

- commodity logic

- continuous logic

- countably complete logic

- decision logic

- decoding logic

- deductive logic

- derivative logic

- deterministic logic

- dialectical logic

- digitizing logic

- dual logic

- dyadic logic

- dynamic logic

- elementary logic

- empirical logic

- equational logic

- extended logic

- extensional logic

- external logic

- feature logic

- finite-valued logic

- first-order logic

- free logic

- fuzzy logic

- general modal logic

- generalized logic

- generalized stochastic logic

- heuristic logic

- imperative logic

- implicational logic

- inductive logic

- inductively generated logic

- infinitary logic

- infinite-valued logic

- intensional logic

- intermediate logic

- intrinsic logic

- intuitionistic logic

- iterative logic

- lattice-theoretic logic

- limit logic

- logic of certainty

- logic of evidence

- logic of existence

- logic of higher order

- logic of modalities

- logic of norms

- logic of part

- logic of preference

- logic of strict implication

- logic of truth

- logic of verification

- logic of whole

- minimal logic

- modal logic

- monadic logic

- multivalued logic

- natural logic

- nonclassical logic

- nonconstructive logic

- nonmonotonic logic

- normative logic

- n-valued logic

- object logic

- orthodox logic

- polyvalent logic

- positive logic

- predicate logic

- projectively generated logic

- propositional logic

- pure logic

- quantificational logic

- quite full logic

- reduced logic

- redundant logic

- search logic

- semicomplete logic

- sentential logic

- separable logic

- set-theoretic predicate logic

- shielded

- situational logic

- static logic

- stochastic logic

- strict logic

- strongly strict logic

- superintuitionistic logic

- switching logic

- syllogistic logic

- system logic

- technical logic

- tense logic

- three-level logic

- three-valued logic

- topological logic

- traditional logic

- transforming logic

- trivalent logic

- unordered logic

- unorthodox logic

- unspecialized logic

English-Russian scientific dictionary > logic

См. также в других словарях:

Logic and the philosophy of mathematics in the nineteenth century — John Stillwell INTRODUCTION In its history of over two thousand years, mathematics has seldom been disturbed by philosophical disputes. Ever since Plato, who is said to have put the slogan ‘Let no one who is not a geometer enter here’ over the… … History of philosophy
logic, history of — Introduction the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic There was a medieval tradition according to which the Greek philosopher … Universalium
Set theory — This article is about the branch of mathematics. For musical set theory, see Set theory (music). A Venn diagram illustrating the intersection of two sets. Set theory is the branch of mathematics that studies sets, which are collections of objects … Wikipedia
Logic — For other uses, see Logic (disambiguation). Philosophy … Wikipedia
Predicate functor logic — In mathematical logic, predicate functor logic (PFL) is one of several ways to express first order logic (formerly known as predicate logic) by purely algebraic means, i.e., without quantified variables. PFL employs a small number of algebraic… … Wikipedia
Set (mathematics) — This article gives an introduction to what mathematicians call intuitive or naive set theory; for a more detailed account see Naive set theory. For a rigorous modern axiomatic treatment of sets, see Set theory. The intersection of two sets is… … Wikipedia
set theory — the branch of mathematics that deals with relations between sets. [1940 45] * * * Branch of mathematics that deals with the properties of sets. It is most valuable as applied to other areas of mathematics, which borrow from and adapt its… … Universalium
Mathematical logic — (also known as symbolic logic) is a subfield of mathematics with close connections to foundations of mathematics, theoretical computer science and philosophical logic.[1] The field includes both the mathematical study of logic and the… … Wikipedia
History of logic — Philosophy ( … Wikipedia
formal logic — the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction the abstract study of propositions, statements, or assertively used … Universalium
List of mathematical logic topics — Clicking on related changes shows a list of most recent edits of articles to which this page links. This page links to itself in order that recent changes to this page will also be included in related changes. This is a list of mathematical logic … Wikipedia

Словари и энциклопедии на Академике

Перевод: с английского на русский

set-theoretic predicate logic

См. также в других словарях:

Поделиться ссылкой на выделенное

Словари и энциклопедии на Академике

Перевод: с английского на русский

set-theoretic predicate logic

См. также в других словарях:

Поделиться ссылкой на выделенное

Прямая ссылка: